Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
711	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
712	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: www.math.mun.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
713	Microsoft Word - funpow_packet.415.doc Add to Reading List Source URL: mathforum.org Language: English - Date: 2014-02-28 13:48:16 Mathematical optimization Boolean algebra
714	Separatll m. -f~nn~L€&)- ·Uni\JHRsitutis-ZcientioRurn· , Add to Reading List Source URL: server.math.umanitoba.ca Language: English - Date: 2014-04-24 19:29:12 Algebra Algebraic structures Order theory Boolean algebra Distributive lattice Distributivity Congruence lattice problem Lattice Congruence relation Abstract algebra Mathematics Lattice theory
715	Quaero at TRECVID 2010: Semantic Indexing Bahjat Safadi1 , Yubing Tong1 , Franck Thollard1 , Georges Qu´enot1 , Tobias Gehrig2 , Hazim Kemal Ekenel2 , and Rainer Stifelhagen2 1 UJF-Grenoble 1 / UPMF-Grenoble 2 / Grenob Add to Reading List Source URL: www-nlpir.nist.gov Language: English - Date: 2011-03-04 14:18:50 Computer vision Quaero Science and technology in Europe TRECVID Visual descriptors Concepts Boolean algebra Mathematical optimization Multimodal Algebra Mathematics Internet search engines
716	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
717	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.ijs.si Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
718	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.aut.ac.nz Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
719	Microsoft Word - funpow_packet.351.doc Add to Reading List Source URL: mathforum.org Language: English - Date: 2014-02-28 13:47:25 Reasoning Boolean algebra Mathematical optimization
720	KONINKL. NEDERL. AKADEMI.P~ VAN WET.P~NSCHAPPEN~ AMSTERDAM Reprinted from Proceedings, Series A, 61, No.5 and Indag. Math., 20, No.5, 1958 MATHEMATICS ON THE GENERALIZED BOOLEAN ALGEBRA GENERATED BY A DISTRIBUTIVE LATTIC Add to Reading List Source URL: server.math.umanitoba.ca Language: English - Date: 2014-04-24 19:29:40 Algebra Algebraic structures Order theory Boolean algebra Distributive lattice Distributivity Ideal Lattice Congruence lattice problem Abstract algebra Mathematics Lattice theory

UPDATE